Results for 'T. S. E. Maibaum'

998 found
Order:
  1.  28
    Deontic action logic, atomic boolean algebras and fault-tolerance.Pablo F. Castro & T. S. E. Maibaum - 2009 - Journal of Applied Logic 7 (4):441-466.
  2.  10
    Khu̇mu̇u̇niĭ ertȯnt︠s︡ ba togtvortoĭ khȯgzhil: Shinzhlėkh ukhaany gavʹi︠a︡at zu̇tgėltėn, doktor, professor T︠S︡.Balkhaazhavyn 90 nasny oĭd zoriulsan ėrdėm shinzhilgėėniĭ baga khurlyn ėmkhėtgėl.T︠S︡ėrėnpiliĭn Balkhaazhav & B. Pu̇rėvsu̇rėn (eds.) - 2018 - Ulaanbaatar Khot: Soëmbo Printing.
    Memoirs and papers presented at a conference held on the occasion of the 90th birthday of the Mongolian philosopher Ts. Balkhaajav.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Olon niĭtiĭn diskurs dėkh filosofiĭn u̇u̇rėg: (Ėrdėm shinzhilgėėniĭ baga khurlyn iltgėliĭn ėmkhėtgėl).B. T︠S︡ėrmaa & O. Bolor-Ėrdėnė (eds.) - 2021 - Ulaanbaatar: Filosofiĭn khu̇rėėlėn.
    Research papers presented at the same title scientific conference, dedicated to the World Philosophy Day.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  10
    1990-ėėd onoos khoĭshikh Mongolyn filosofiĭn amʹdral: sėdėvchilsėn toochilt, zėrėgt︠s︡u̇u̇lėl ba kharʹt︠s︡uulal.T︠S︡ėdėndagvyn Gombosu̇rėn & Baldoogiĭn Dagzmaa (eds.) - 2019 - Ulaanbaatar: Artsoft.
    Mongolian philosophy in the post-communism period.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    Filosofi: Surakh bichig.T︠S︡ėdėndagvyn Gombosu̇rėn - 2020 - Ulaanbaatar: "Artsoft" KhKhK-d khėvlėv. Edited by Mȯngȯnkhu̇u̇giĭn Otgonbai︠a︡r.
    Philosophy textbook for Mongolian undergraduate and post-graduate students.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6. Tȯriĭn erȯnkhiĭ onol.T︠S︡ėrėnbaltavyn Sarantui︠a︡a - 1998 - Ulaanbaatar: Interpress KhKhK. Edited by Zh Amarsanaa & T. Sėngėdorzh.
     
    Export citation  
     
    Bookmark  
  7.  12
    Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures.Samson Abramsky, DovM Gabbay & Thomas S. E. Maibaum (eds.) - 1992 - Oxford, England: Clarendon Press.
    This Handbook is a combination of authoritative exposition, comprehensive survey, and fundamental research exploring the underlying unifying themes in the various areas. The intended audience is graduate students and researchers in the areas of computing and logic, as well as other people interested in the subject. We assume as background some mathematical sophistication. Much of the material will also be of interest to logicians and mathematicians.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  72
    The Casimir Effect and the Interpretation of the Vacuum.S. E. Rugh, H. Zinkernagel & T. Y. Cao - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (1):111-139.
    The Casimir force between two neutral metallic plates is often considered conclusive evidence for the reality of electromagnetic zero-point fluctuations in ‘empty space’. However, it is not well known that the Casimir force can be derived from many different points of view. The purpose of this note is to supply a conceptually oriented introduction to a representative set of these different interpretations. The different accounts suggest that the Casimir effect reveals nothing conclusive about the nature of the vacuum.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  9. Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
     
    Export citation  
     
    Bookmark   9 citations  
  10.  19
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Mathematical Logic Quarterly 37 (9‐12):149-166.
  11.  23
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Mathematical Logic Quarterly 36 (5):389-414.
  12.  34
    Proof theory and computer programming.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (5):389-414.
  13.  25
    Magnetic properties of single grain R–Mg–Cd primitive icosahedral quasicrystals.S. E. Sebastian, T. Huie, I. R. Fisher, K. W. Dennis & M. J. Kramer - 2004 - Philosophical Magazine 84 (10):1029-1037.
  14. The Casimir effect and the interpretation of the vacuum.E. S., H. Zinkernagel & Y. T. - 1999 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 30 (1):111-139.
    The Casimir force between two neutral metallic plates is often considered conclusive evidence for the reality of electromagnetic zero-point fluctuations in 'empty space' (i.e. in absence of any boundaries). However, it is not well known that the Casimir force can be derived from many different points of view. The purpose of this note is to supply a conceptually oriented introduction to a representative set of these different interpretations. The different accounts suggest that the Casimir effect reveals nothing conclusive about the (...)
     
    Export citation  
     
    Bookmark  
  15. Semanticheskie otnoshenii︠a︡ vnutri slovosochetanii︠a︡ i predlozhenii︠a︡: sbornik nauchnykh trudov.Ė. V. T︠S︡erpento (ed.) - 1984 - Volgograd: Volgogradskiĭ pedin-t.
     
    Export citation  
     
    Bookmark  
  16. Problemy kommunisticheskogo vospitanii︠a︡ v trudakh N. K. Krupskoĭ i zadachi sovremennoĭ shkoly.Ėsfirʹ Moiseevna T︠S︡imkhes & I. I. Vovsi (eds.) - 1976
     
    Export citation  
     
    Bookmark  
  17.  36
    Abstract Data Types and Type Theory: Theories as Types.Ruy J. G. B. de Queiroz & Thomas S. E. Maibaum - 1991 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):149-166.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  18.  32
    Lack of hemispheric dominance for consciousness in acute ischaemic stroke.B. Cucchiara, S. E. Kasner, D. A. Wolk, P. D. Lyden, V. A. Knappertz, T. Ashwood, T. Odergren & A. Nordlund - 2003 - Journal of Neurology, Neurosurgery and Psychiatry 74 (7):889-892.
  19. Atikāram par̲r̲iya iraṇṭu kaṇṇōṭṭaṅkaḷ.Ē. Pi Em Itrīs - 2007 - Vāl̲aiccēn̲ai: Uyirppait Tēṭum Vērkaḷ.
    Articles on the relevance of Islam and a comparative look with European philosophy in the contemporary world.
     
    Export citation  
     
    Bookmark  
  20.  5
    Sovremennostʹ i dukhovno-filosofskoe nasledie T︠S︡entralʹnoĭ Azii.I. S. Urbanaeva, Ė. T︠S︡ T︠S︡ybenova & R. S. Nomshieva (eds.) - 1997 - Ulan Udė: Izd-vo BNT︠S︡.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Srednevekovʹe v svidetelʹstvakh sovremennikov.E. V. Gutnova & Z. V. Udalʹt︠s︡ova (eds.) - 1984 - Moskva: [S.N.].
    No categories
     
    Export citation  
     
    Bookmark  
  22.  13
    Law and legacy in medical jurisprudence: essays in honour of Graeme Laurie.G. T. Laurie, E. S. Dove & Niamh Nic Shuibhne (eds.) - 2022 - New York, NY: Cambridge University Press.
    Graeme Laurie stepped down from the Chair in Medical Jurisprudence at the University of Edinburgh in 2019. This edited collection pays tribute to his extraordinary contributions to the field. Graeme has often spoken about the importance of 'legacy' in academic work and has forged a remarkable intellectual legacy of his own, notably through his work on genetic privacy, human tissue and information governance, and on the regulatory salience of the concept of liminality. The essays in this volume animate the concept (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  10
    [Desire for a child and desired children--possibilities and limits of reproductive biomedicine].T. Krones, E. Neuwohner, S. El Ansari, T. Wissner & G. Richter - 2006 - Ethik in der Medizin: Organ der Akademie für Ethik in der Medizin 18 (1):51-62.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  16
    Rest frames for tachyons and photons.E. A. Lord & T. S. Shankara - 1977 - Foundations of Physics 7 (7-8):459-474.
    A formalism is developed which admits particles faster than light and reference frames faster than light and as fast as light. It is fully consistent with the physical principles of special relativity. The necessity of introducing imaginary quantities does not arise. It does not encounter any difficulties with the principle of causality if it is reasonably interpreted.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  25.  4
    On colours.T. Loveday & E. S. Forster - 1984 - In Jonathan Barnes (ed.), Complete Works of Aristotle, Volume 1: The Revised Oxford Translation. Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  26.  3
    On things heard.T. Loveday & E. S. Forster - 1984 - In Jonathan Barnes (ed.), Complete Works of Aristotle, Volume 1: The Revised Oxford Translation. Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  4
    Physiognomonics.T. Loveday & E. S. Forster - 1984 - In Jonathan Barnes (ed.), Complete Works of Aristotle, Volume 1: The Revised Oxford Translation. Princeton University Press.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Evidence for scripts for everyday motor activities.T. R. Greene, S. E. Houston, Cc Reinsmith & Es Reed - 1992 - Bulletin of the Psychonomic Society 30 (6):454-454.
     
    Export citation  
     
    Bookmark  
  29. "Materializm i ėmpiriokritit︠s︡izm" V. I. Lenina. Ralʹt︠s︡evīch, Vasīlīĭ Nīkīforovīch, [From Old Catalog] & Rafaīl Akīmovīch I︠A︡nkovskiīĭ (eds.) - 1935
     
    Export citation  
     
    Bookmark  
  30.  4
    Special characteristics of evaluation intensification within a scientific text.O. S. Bakanova, T. V. Grigorieva & S. E. Rodionova - 2019 - Liberal Arts in Russiaроссийский Гуманитарный Журналrossijskij Gumanitarnyj Žurnalrossijskij Gumanitarnyj Zhurnalrossiiskii Gumanitarnyi Zhurnal 8 (3):203.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  24
    Production of pluripotent stem cells by oocyte-assisted reprogramming: joint statement with signatories.H. Arkes, N. P. Austriaco, T. Berg, E. C. Brugger, N. M. Cameron, J. Capizzi, M. L. Condic, S. B. Condic, K. T. FitzGerald & K. Flannery - 2005 - The National Catholic Bioethics Quarterly 5 (3).
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  32.  42
    Spontaneously Emitted X-rays: An Experimental Signature of the Dynamical Reduction Models.C. Curceanu, S. Bartalucci, A. Bassi, M. Bazzi, S. Bertolucci, C. Berucci, A. M. Bragadireanu, M. Cargnelli, A. Clozza, L. De Paolis, S. Di Matteo, S. Donadi, A. D’Uffizi, J. -P. Egger, C. Guaraldo, M. Iliescu, T. Ishiwatari, M. Laubenstein, J. Marton, E. Milotti, A. Pichler, D. Pietreanu, K. Piscicchia, T. Ponta, E. Sbardella, A. Scordo, H. Shi, D. L. Sirghi, F. Sirghi, L. Sperandio, O. Vazquez Doce & J. Zmeskal - 2016 - Foundations of Physics 46 (3):263-268.
    We present the idea of searching for X-rays as a signature of the mechanism inducing the spontaneous collapse of the wave function. Such a signal is predicted by the continuous spontaneous localization theories, which are solving the “measurement problem” by modifying the Schrödinger equation. We will show some encouraging preliminary results and discuss future plans and strategy.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  33. Kompleksnai︠a︡ programma ėsteticheskogo vospitanii︠a︡ naselenii︠a︡: puti razrabotki i realizat︠s︡ii: materialy Vserossiĭskoĭ nauchnoĭ konferent︠s︡ii.V. B. Churbanov, I︠U︡. S. Druzhkin, I. N. Karpenko & E. K. T︠S︡igvint︠s︡eva (eds.) - 1988 - Moskva: Nauchno-issl. in-t kulʹtury.
     
    Export citation  
     
    Bookmark  
  34.  43
    Carbon metabolism of the terrestrial biosphere: A multitechnique approach for improved understanding.J. G. Canadell, H. A. Mooney, D. D. Baldocchi, J. A. Berry, J. R. Ehleringer, C. B. Field, S. T. Gower, D. Y. Hollinger, J. E. Hunt, R. B. Jackson, S. W. Running, G. R. Shaver, W. Steffen, S. E. Trumbore, R. Valentini & B. Y. Bond - unknown
    Understanding terrestrial carbon metabolism is critical because terrestrial ecosystems play a major role in the global carbon cycle. Furthermore, humans have severely disrupted the carbon cycle in ways that will alter the climate system and directly affect terrestrial metabolism. Changes in terrestrial metabolism may well be as important an indicator of global change as the changing temperature signal. Improving our understanding of the carbon cycle at various spatial and temporal scales will require the integration of multiple, complementary and independent methods (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. HeX and the single anthill: playing games with Aunt Hillary.J. M. Bishop, S. J. Nasuto, T. Tanay, E. B. Roesch & M. C. Spencer - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Cham: Springer. pp. 367-389.
    In a reflective and richly entertaining piece from 1979, Doug Hofstadter playfully imagined a conversation between ‘Achilles’ and an anthill (the eponymous ‘Aunt Hillary’), in which he famously explored many ideas and themes related to cognition and consciousness. For Hofstadter, the anthill is able to carry on a conversation because the ants that compose it play roughly the same role that neurons play in human languaging; unfortunately, Hofstadter’s work is notably short on detail suggesting how this magic might be achieved1. (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Measurement and modeling of depth cue combination: In defense of weak fusion.M. S. Landy, L. T. Maloney, E. B. Johnston & M. Young - 1995 - Vision Research 35:389--412.
     
    Export citation  
     
    Bookmark   29 citations  
  37.  8
    Ėvoli︠u︡t︠s︡ii︠a︡ zhizni: putʹ ot Bogocheloveka k cheloveku.Nikolaĭ Malʹt︠s︡ev - 2012 - Moskva: Algoritm.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  38.  20
    The dual space of a finite simple ockham algebra.T. S. Blyth & J. C. Varlet - 1996 - Studia Logica 56 (1-2):3 - 21.
    Let (L; f) be a finite simple Ockham algebra and let (X;g) be its dual space. We first prove that every connected component of X is either a singleton or a generalised crown (i.e. an ordered set that is connected, has length 1, and all vertices of which have the same degree). The representation of a generalised crown by a square (0,1)-matrix in which all line sums are equal is used throughout, and a complete description of X, including the number (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39. Germanuli neokantianelobis šemecʻnebis tʻeoria.G. Tʻevzaże - 1963 - Tʻbilisi: Sakʻartʻvelos SSR mecʻnierebatʻa akademiis gamomcʻemloba.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  22
    Observations of interface premelting at grain-boundary precipitates of Pb in Al.U. Dahmen ¶, S. Hagège, F. Faudot, T. Radetic & E. Johnson - 2004 - Philosophical Magazine 84 (25-26):2651-2662.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Politiko-ėkonomicheskie problemy nauchnogo truda pri sot︠s︡ializme.Gennadiĭ Ivanovich Zhilʹt︠s︡ov - 1976
    No categories
     
    Export citation  
     
    Bookmark  
  42.  21
    Behavioral economics and monetary wisdom: A cross‐level analysis of monetary aspiration, pay (dis)satisfaction, risk perception, and corruption in 32 nations.Thomas Li-Ping Tang, Zhen Li, Mehmet Ferhat Özbek, Vivien K. G. Lim, Thompson S. H. Teo, Mahfooz A. Ansari, Toto Sutarso, Ilya Garber, Randy Ki-Kwan Chiu, Brigitte Charles-Pauvers, Caroline Urbain, Roberto Luna-Arocas, Jingqiu Chen, Ningyu Tang, Theresa Li-Na Tang, Fernando Arias-Galicia, Consuelo Garcia De La Torre, Peter Vlerick, Adebowale Akande, Abdulqawi Salim Al-Zubaidi, Ali Mahdi Kazem, Mark G. Borg, Bor-Shiuan Cheng, Linzhi Du, Abdul Hamid Safwat Ibrahim, Kilsun Kim, Eva Malovics, Richard T. Mpoyi, Obiajulu Anthony Ugochukwu Nnedum, Elisaveta Gjorgji Sardžoska, Michael W. Allen, Rosário Correia, Chin-Kang Jen, Alice S. Moreira, Johnston E. Osagie, AAhad M. Osman-Gani, Ruja Pholsward, Marko Polic, Petar Skobic, Allen F. Stembridge, Luigina Canova, Anna Maria Manganelli, Adrian H. Pitariu & Francisco José Costa Pereira - 2023 - Business Ethics, the Environment and Responsibility 32 (3):925-945.
    Corruption involves greed, money, and risky decision-making. We explore the love of money, pay satisfaction, probability of risk, and dishonesty across cultures. Avaricious monetary aspiration breeds unethicality. Prospect theory frames decisions in the gains-losses domain and high-low probability. Pay dissatisfaction (in the losses domain) incites dishonesty in the name of justice at the individual level. The Corruption Perceptions Index, CPI, signals a high-low probability of getting caught for dishonesty at the country level. We theorize that decision-makers adopt avaricious love-of-money aspiration (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  43.  59
    New books. [REVIEW]J. W. Scott, T. E., S. S., A. G. Widgery, John Laird & A. C. Ewing - 1925 - Mind 34 (134):245-261.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  44. Osnovy ėtiki.Kirill Iosifovich Zaĭt︠s︡ev - 1937
    No categories
     
    Export citation  
     
    Bookmark  
  45.  17
    Analysis of the Epidemic Biological Model of Tuberculosis (TB) via Numerical Schemes.S. Kanwal, M. K. Siddiqui, E. Bonyah, K. Sarwar, T. S. Shaikh & N. Ahmed - 2022 - Complexity 2022:1-13.
    Tuberculosis is caused by bacillus Mycobacterium tuberculosis. In this study, a mathematical model of tuberculosis is analyzed. The numerical behaviour of the considered model is analyzed including basic reproduction number and stability. We applied three numerical techniques to this model, i.e., nonstandard finite difference scheme, Runge–Kutta method of order 4, and forward Euler scheme. NSFD scheme preserves all the essential properties of the model. Acquired results corroborate that NSFD scheme converges for each step size. While the other two schemes failed (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  15
    Linkage analysis of X-linked cone-rod dystrophy: localization to Xp11.4 and definition of a locus distinct from RP2 and RP3. [REVIEW]M. B. Gorin, A. B. Seymour, A. Dash-Modi, O'Connell Jr, M. Shaffer-Gordon, T. S. Mah, S. T. Stefko, R. Nagaraja, J. Brown, A. E. Kimura & R. E. Ferrell - unknown
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47. Jennifer T. Roberts, Athens on Trial: The Antidemocratic Tradition in Western Thought.S. E. Dawson - 1996 - Thesis Eleven 44:122-125.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Ėtika sot︠s︡ialʹnoĭ aktivnosti lichnosti: [ucheb. posobie dli︠a︡ vuzov].T. S. Lapina - 1974 - Moskva: "Vyssh. shkola,".
    No categories
     
    Export citation  
     
    Bookmark  
  49. Filosofsko-ėsteticheskai︠a︡ kont︠s︡ept︠s︡ii︠a︡ Benedetto Kroche: dialog proshlogo s nastoi︠a︡shchim.Svetlana Malʹt︠s︡eva - 1996 - Sankt-Peterburg: M. Malʹt︠s︡eva.
    No categories
     
    Export citation  
     
    Bookmark  
  50. I︠A︡ nashel smysl zhizni: avtoreferat mirovozzrenii︠a︡ s ėpizodami avtobiografii.Vladimir T︠S︡aĭ - 2010 - Moskva: Vremi︠a︡.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 998